Nuprl Definition : mon_hom_inj_p
13,42
postcript
pdf
compound
IsMonHomInj(
g
;
h
;
f
) == IsMonHom{
g
,
h
}(
f
) & Inj(|
g
|;|
h
|;
f
)
latex
Up
groups
1
Wellformedness Lemmas
mon
hom
inj
p
wf
Definitions
P
&
Q
,
IsMonHom{
M1
,
M2
}(
f
)
,
Inj(
A
;
B
;
f
)
,
|
g
|
origin